<html>
<body>
Sources for benchmark inputs: documents and queries.
</body>

</html>
